Critical Software

Results: 1293



#Item
11

1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

Add to Reading List

Source URL: www.imm.dtu.dk

- Date: 2014-04-30 21:31:19
    12

    Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

    Add to Reading List

    Source URL: www.imm.dtu.dk

    - Date: 2014-03-18 04:09:10
      13

      Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

      Add to Reading List

      Source URL: www.imm.dtu.dk

      - Date: 2014-04-30 21:16:31
        14

        1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

        Add to Reading List

        Source URL: www.imm.dtu.dk

        - Date: 2014-03-18 04:09:14
          15

          Customer Insights Autonomous Vehicle Software Leader Monetizing the Internet of Things for New “Most application producers don’t get how Opportunities critical licensing and entitlement

          Add to Reading List

          Source URL: media.flexerasoftware.com

          - Date: 2016-12-06 11:42:21
            16

            Energy Analysis of Hardware and Software Range Partitioning LISA WU, ORESTIS POLYCHRONIOU, RAYMOND J. BARKER, MARTHA A. KIM, and KENNETH A. ROSS, Columbia University Data partitioning is a critical operation for manipula

            Add to Reading List

            Source URL: arcade.cs.columbia.edu

            - Date: 2014-09-02 17:04:26
              17

              ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en

              Add to Reading List

              Source URL: repository.lib.ncsu.edu

              - Date: 2014-07-25 02:20:30
                18

                C9 Case Study I Progress Software Increasing Sales Performance with Visibility into and Analysis of Change Progress Uses C9 to Focus on Critical Deals

                Add to Reading List

                Source URL: www.c9inc.com

                - Date: 2014-10-03 13:25:30
                  19

                  Effective Verification of Flight Critical Software Systems: Issues and Approaches Devesh Bhatt and Kirk Schloegel Honeywell Aerospace Advanced Technology 1985 Douglas Dr. N, Golden Valley, MN 55422 {devesh.bhatt, kirk.s

                  Add to Reading List

                  Source URL: fm.csl.sri.com

                  - Date: 2010-11-02 03:26:20
                    20

                    Senior Software Engineer Ridgetop Group seeks a Senior Software Engineer to lead the research and development to provide its customers with advanced diagnostic and prognostic solutions for critical applications, at its h

                    Add to Reading List

                    Source URL: www.ridgetopgroup.com

                    - Date: 2015-07-18 01:30:08
                      UPDATE